/*
 * NavFNDyDist.h
 *
 *  Created on: Jun 4, 2012
 *      Author: kobe
 */

#ifndef NAVFNDYDIST_H_
#define NAVFNDYDIST_H_

#include "Rule.h"
#include "NavPath.h"

class NavFNDyDist: public Rule {
public:
	NavFNDyDist(NavPath*);
	virtual ~NavFNDyDist();
	std::vector<Sequent*> run(Sequent*);
	std::string toString();
	std::string toLatex();
private:
	Context* search(Context*);
	NavPath* mPath;
};
#endif /* NAVFNDYDIST_H_ */
